Categories, types, symmetries
نویسنده
چکیده
In this squib, we study some symmetry patterns that arise from introducing a notion of duality in categorial grammar. We first look at residuated and dually residuated families of operations, in syntax and semantics. Inspecting the monotonicity properties of these operations, we then identify a further set of (dually) Galois connected binary operations, hitherto uninvestigated in the linguistic setting. We close with a little puzzle, inspired by a visit to Dublin’s Broom Bridge.
منابع مشابه
Data types with symmetries and polynomial functors over groupoids
Polynomial functors (over Set or other locally cartesian closed categories) are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect is often prominent and justifies the terminology. For example, Tambara’s theorem states that the cate...
متن کاملGray Categories with Duals and Their Diagrams
The geometric and algebraic properties of Gray categories with duals are investigated by means of a diagrammatic calculus. The diagrams are three-dimensional stratifications of a cube, with regions, surfaces, lines and vertices labelled by Gray category data. These can be viewed as a generalisation of ribbon diagrams. The Gray categories present two types of duals, which are extended to functor...
متن کاملThE BEaUTy Of symmETry TEXTBOOK
TEXTBOOK UniT OBJECTiVEs Symmetry, in a mathematical sense, is a transformation that leaves an object • invariant. Some symmetries are understood as geometric motions. • Some symmetries are understood as algebraic operations. • When symmetries are combined, another symmetry is the result. • Symmetries form what is known as a group, which allows mathematicians to • perform a sort of " arithmetic...
متن کاملNew Solutions for Fokker-Plank Equation of Special Stochastic Process via Lie Point Symmetries
In this paper Lie symmetry analysis is applied in order to find new solutions for Fokker Plank equation of Ornstein-Uhlenbeck process. This analysis classifies the solutions format of the Fokker Plank equation by using the Lie algebra of the symmetries of our considered stochastic process.
متن کاملThe Symmetries of Equivalent Lagrangian Systems and Constants of Motion
In this paper Mathematical structure of time-dependent Lagrangian systems and their symmetries are extended and the explicit relation between constants of motion and infinitesimal symmetries of time-dependent Lagrangian systems are considered. Starting point is time-independent Lagrangian systems ,then we extend mathematical concepts of these systems such as equivalent lagrangian systems to th...
متن کاملSyMT: finding symmetries in SMT formulas
The QF UF category of the SMT-LIB test set contains many formulas with symmetries, and breaking these symmetries results in an important speedup [8]. This paper presents SyMT, a tool to find and report symmetries in SMT formulas. SyMT is based on the reduction of the problem of detecting symmetries in formulas to finding automorphisms in a graph representation of these formulas. The output of S...
متن کامل